- 纯逻辑学
- 符号逻辑
- 数理逻辑
- 数学逻辑
- 数字逻辑
- mathematical: adj. 数学(上)的，数理的；严正的，精确的。 mat ...
- logic: n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
- formula (mathematical logic): 公式 (数理逻辑)
- fundations of mathematical logic: 数理逻辑基础
- literal (mathematical logic): 文字 (数理逻辑)
下载手机词典可随时随地查词查翻译
mathematical logic中文什么意思
- 纯逻辑学
- 符号逻辑
- 数理逻辑
- 数学逻辑
- 数字逻辑
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 下一页
- Several factors in mathematical logic translation
数理逻辑翻译中的几个因素 - On the second revolution of mathematical logic
论第2次数理逻辑革命 - The feature of the mathematical logic and the aesthetics in the ancient chinese capital planning
中国古代都城规划中的数理哲学与美学特征 - He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英国bristol university颁发的数理逻辑和计算理论的理学硕士学位。 - R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
陈慕泽余俊伟：数理逻辑基础? ?一阶逻辑与一阶理论，中国人民大学出版社2003 。
英文释义
名词- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
同义词：symbolic logic, formal logic
百科释义
Mathematical logic (also known as symbolic logic) is a subfield of mathematics with close connections to the foundations of mathematics, theoretical computer science and philosophical logic.Undergraduate texts include Boolos, Burgess, and Jeffrey (2002), Enderton (2001), and Mendelson (1997).
详细百科解释
相关词汇
其他语言
相邻词汇
- mathematical lines design 什么意思
- mathematical linguistics 什么意思
- mathematical loft 什么意思
- mathematical lofting 什么意思
- mathematical lofting system 什么意思
- mathematical logic stubs 什么意思
- mathematical machine theory 什么意思
- mathematical manipulation 什么意思
- mathematical markulanguage 什么意思
- mathematical markulanguage (mathml) 什么意思